|
Grundlage dieser Arbeit stellen die Web Services Business Process
Execution Language (BPEL) (vgl. Abschnitt 2.1) und Executable
Workflow Networks (EWFN) (vgl. Abschnitt 2.3) dar. BPEL ist der
Standard für die Beschreibung von Geschäftsprozessen, der in der
Lage ist verschiedene Services zu einer Gesamtanwendung zu
verknüpfen. Auf dem Markt befindet sich bereits ein breites
Spektrum an verschiedensten Implementierungen des BPEL-Standards.
Zusätzlich existiert eine Fülle an Werkzeugen für die
Modellierung, Verwaltung, Monitoring etc. von BPEL-Prozessen. EWFN
basieren auf gefärbte Petri-Netze [Jen92] und Boolesche-Netze
[LSW97] und stellen ein geeignetes Modell für die verteilte und
dezentralisierte Ausführung von BPEL-Prozessen. Das Modell zeichnet
sich durch eine wohlgeformte, formale Syntax und eine wohl
definierte Semantik [MWL08a]. In der vorliegenden Arbeit soll ein
Verfahren spezifiziert werden, das BPEL-Prozesse in semantisch
äquivalente EWFNs transformiert. Zusätzlich soll ein geeignetes
Datenformat für die Darstellung von EWFN definiert und ein Tool
implementiert werden, das BPEL-Dateien in dieses Ziel-Datenformat
umwandelt.
|